Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
651	Chapter 13 Software Development Method M. A. Jackson It is a great pleasure to be able to contribute to a Festschrift in Tony Hoare’s honour. I have Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2001-10-09 19:38:32 Formal methods Systems engineering Turing machine Computability theory Problem frames approach Moving frame Frame language Frame Complexity Theoretical computer science Applied mathematics Science
652	Job description Project Manager Work location Add to Reading List Source URL: www.groupid.com Language: English - Date: 2012-05-10 15:56:04 Building engineering Technology Formal methods Computing Product lifecycle management Project manager Software development process Systems development life-cycle Project management Software engineering Management
653	Curriculum Vitae Last name : First name : Date and place of birth: Nationality: Address: Add to Reading List Source URL: software.imdea.org Language: English - Date: 2012-12-15 15:15:28 Computer science Model checking Petri net Computer Aided Verification Formal methods ALGOL 68 Models of computation Software engineering Computing
654	TAPASHigh Performance Static Analysis for Industry Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson and Ralf Huuck Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 17:52:54 Formal methods Software testing Program analysis Logic in computer science Procedural programming languages Static program analysis Vulnerability Model checking Abstract interpretation Computing Software engineering Computer programming
655	Journal of Artificial Intelligence Research606 Submitted 11/07; publishedSATzilla: Portfolio-based Algorithm Selection for SAT Lin Xu Add to Reading List Source URL: jair.org Language: English - Date: 2008-07-01 13:34:37 NP-complete problems Logic in computer science Electronic design automation Formal methods Boolean algebra Boolean satisfiability problem Algorithm Computational complexity theory Solver Theoretical computer science Applied mathematics Mathematics
656	Proposal for a tutorial on “Teaching Formal Methods to Novices” Satellite event to FM’08 Topic Teaching formal methods to students in high school and introductory university courses Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2007-12-18 08:37:50 Structured derivations Software development Logic in computer science Software engineering Invariant-based programming Formal verification Invariant Formal methods Mathematics education Mathematics
657	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2015-03-19 08:23:41 Functional languages Type theory Logic in computer science Theoretical computer science Formal methods OCaml Coq Type system Formal verification Software engineering Computing Programming language theory
658	XP Universe 2004 Paper An Agile Customer-Centered Method: Rapid Contextual Design An Agile Customer-Centered Method: Rapid Contextual Design Add to Reading List Source URL: 69.89.31.90 Language: English - Date: 2009-04-22 16:15:48 Human–computer interaction Software project management Agile software development Formal methods Industrial design Contextual design Contextual inquiry User story Software development process Software development Software Technology
659	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2012-03-09 11:37:19 Functional languages Type theory Logic in computer science Procedural programming languages Formal methods OCaml Type system Coq ML Software engineering Computing Programming language theory
660	Model Checking Using SMT and Theory of Lists Aleksandar Milicevic1 and Hillel Kugler2 1 Massachusetts Institute of Technology (MIT), Cambridge, MA, USA Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-19 15:58:07 Electronic design automation Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Phase transition Infinite loop FO Theoretical computer science Mathematics Applied mathematics

UPDATE